행나뇽🌠

걸그룹 / 일상계정

[Valerio Capraro @ValerioCapraro]

BREAKING: OpenAI’s solution to Navier–Stokes does not match its Lean verification.

The most important article to read today is not one of OpenAI’s 700 AI-generated math papers.

It is this other paper, making a deep and worrying point:

A Lean-verified proof does not automatically validate the proof written in natural language, nor does it mean that the formal statement captures the intended theorem.

During translation, an AI can change an assumption, weaken a statement, or replace the argument entirely.

It can hallucinate another theorem.

Lean correctly verifies the result.
But the proved result may no longer be what the paper claims.

This is a general problem. Things get spicy when the authors examine OpenAI’s proposed Navier–Stokes solution.

They identify at least two mismatches between the written intermediate results and their Lean counterparts:

One estimate claims that four additional input derivatives suffice. The Lean version requires five: a weaker result.

A pressure-flux estimate is obtained through a different bound, and proved through a different argument.

It is not clear whether these mismatches invalidate the entire proof.

But they raise an important issue.

OpenAI is flooding us with claimed revolutionary breakthroughs. Yet nobody knows whether the proofs are correct or whether they prove what they claim to be proving.

Epistemia at scale.

*
Paper in the first reply

[행나뇽🌠 @happy_pichu]

꼬들 1734 3/6 https://t.co/GY5EBDZAte 🔥

🟩⬜️⬜️🟨🟩⬜️
🟩⬜️⬜️⬜️🟩🟨
🟩🟩🟩🟩🟩🟩

[Eyad @eyad_khrais]

https://t.co/i5L6UIPgH8

[Python Coding @clcoding]

Merry Christmas in Python

[Nicolas Boucher @BoucherNicolas]

100 ways to visualize your data

[Dvz | Python Architect @PythonDvz]

Top 20+ Python Tools

#python #programming #developer #programmer #coding #coder #softwaredeveloper #computerscience #webdev #webdeveloper #webdevelopment #pythonprogramming #pythonquiz #ai #ml #machinelearning #datascience

[Python Coding @clcoding]

Remove Image Background in Python

[Pradeep Pandey @Div_pradeep]

72+ AI tools to finish months of work in minutes.

1. Research

- ChatGPT
- Claude
- DeepSeek R1
- Gemini
- Abacus
- Perplexity

2. Image

- Midjourney
- Dall E-3
- Flux
- Stability AI
- Grok

3. CopyWriting

- Rytr
- Copy AI
- Writesonic
- Adcreative AI
- otio

4. Writing

- Jasper
- HIX AI
- Jenny AI
- Textblaze
- Quillbot

5. Website

- 10Web
- Durable
- Framer
- Style AI
- Landingsite

6. Video

- Sora
- Luma
- Kling
- Pika
- InVideo
- HeyGen
- Runway
- ImgCreator AI
- Morphstudio .xyz

7. Meeting

- Tldv
- Otter
- Noty AI
- Fireflies

8. SEO

- VidIQ
- Seona AI
- BlogSEO
- Keywrds ai
- Seona

9. Chatbot

- Droxy
- Chatbase
- Mutual info
- Chatsimple

10. Presentation

- Decktopus
- Slides AI
- Gamma AI
- Designs AI
- Beautiful AI
- PopAi

11. Automation

- Make
- Zapier
- Xembly
- Bardeen

12. UI/UX

- Figma
- Uizard
- UiMagic
- Photoshop

13. Design

- Canva
- Flair AI
- Clipdrop
- Autodraw
- Magician design

14. Logo Generator

- Looka
- Designs AI
- Brandmark
- Stockimg AI
- Namecheap

15. Audio

- Lovo ai
- Eleven labs
- Songburst AI
- Adobe Podcast

16. Startup

- Tome
- Ideas AI
- Namelix
- Pitchgrade
- Validator AI

17. Productivity

- Merlin
- Tinywow
- Notion AI
- Adobe Sensei
- Personal AI

18. Social media management

- Tapilo
- Typefully
- Hypefury
- TweetHunter

Follow me @Div_pradeep for more.

[INTERN 🔆 @Intern_SaharaAI]

The DeepSeek VS OpenAI drama is so good.

This the probably the POV at both offices right now 😂

[DeepSeek @deepseek_ai]

🚀 DeepSeek-R1 is here!

⚡ Performance on par with OpenAI-o1
📖 Fully open-source model & technical report
🏆 MIT licensed: Distill & commercialize freely!

🌐 Website & API are live now! Try DeepThink at https://t.co/v1TFy7LHNy today!

🐋 1/n

[Tech Fusionist | Kushal Gangil @techyoutbe]

Linux LVM - Quick Sheet 🔥🔥

[Tech Fusionist | Kushal Gangil @techyoutbe]

𝐻𝑜𝑤 𝑁𝐴𝑇 (𝑁𝑒𝑡𝑤𝑜𝑟𝑘 𝐴𝑑𝑑𝑟𝑒𝑠𝑠 𝑇𝑟𝑎𝑛𝑠𝑙𝑎𝑡𝑖𝑜𝑛) 𝑊𝑜𝑟𝑘𝑠 🔥🔥

𝑁𝐴𝑇 𝑠𝑡𝑎𝑛𝑑𝑠 𝑓𝑜𝑟 𝑁𝑒𝑡𝑤𝑜𝑟𝑘 𝐴𝑑𝑑𝑟𝑒𝑠𝑠 𝑇𝑟𝑎𝑛𝑠𝑙𝑎𝑡𝑖𝑜𝑛. 𝐼𝑡 𝑡𝑟𝑎𝑛𝑠𝑙𝑎𝑡𝑒𝑠 𝑎𝑑𝑑𝑟𝑒𝑠𝑠𝑒𝑠 𝑓𝑟𝑜𝑚 𝑝𝑟𝑖𝑣𝑎𝑡𝑒 𝐼𝑃𝑠 (𝑛𝑜𝑛-𝑟𝑜𝑢𝑡𝑎𝑏𝑙𝑒) 𝑡𝑜 𝑝𝑢𝑏𝑙𝑖𝑐 𝐼𝑃𝑠 (𝑟𝑜𝑢𝑡𝑎𝑏𝑙𝑒) 𝑎𝑛𝑑 𝑒𝑛𝑠𝑢𝑟𝑒𝑠 𝑒𝑓𝑓𝑖𝑐𝑖𝑒𝑛𝑡, 𝑠𝑒𝑐𝑢𝑟𝑒 𝑖𝑛𝑡𝑒𝑟𝑛𝑒𝑡 𝑎𝑐𝑐𝑒𝑠𝑠 𝑓𝑜𝑟 𝑑𝑒𝑣𝑖𝑐𝑒𝑠 𝑏𝑒ℎ𝑖𝑛𝑑 𝑎 𝑟𝑜𝑢𝑡𝑒𝑟.

1. 𝑃𝑟𝑖𝑣𝑎𝑡𝑒 𝑡𝑜 𝑃𝑢𝑏𝑙𝑖𝑐 𝐼𝑃 𝑇𝑟𝑎𝑛𝑠𝑙𝑎𝑡𝑖𝑜𝑛:
𝑁𝐴𝑇 𝑡𝑟𝑎𝑛𝑠𝑙𝑎𝑡𝑒𝑠 𝑝𝑟𝑖𝑣𝑎𝑡𝑒 𝐼𝑃𝑠 𝑓𝑟𝑜𝑚 𝑖𝑛𝑡𝑒𝑟𝑛𝑎𝑙 𝑛𝑒𝑡𝑤𝑜𝑟𝑘𝑠 (𝑙𝑖𝑘𝑒 192.168.3.6:5733) 𝑡𝑜 𝑎 𝑝𝑢𝑏𝑙𝑖𝑐 𝐼𝑃 (200.100.10.1:5733). 𝑇ℎ𝑖𝑠 𝑐𝑜𝑛𝑣𝑒𝑟𝑠𝑖𝑜𝑛 𝑜𝑐𝑐𝑢𝑟𝑠 𝑏𝑎𝑠𝑒𝑑 𝑜𝑛 𝑎 𝑁𝐴𝑇 𝑡𝑎𝑏𝑙𝑒 𝑚𝑎𝑖𝑛𝑡𝑎𝑖𝑛𝑒𝑑 𝑏𝑦 𝑡ℎ𝑒 𝑟𝑜𝑢𝑡𝑒𝑟.

2. 𝑅𝑜𝑙𝑒 𝑜𝑓 𝑡ℎ𝑒 𝑅𝑜𝑢𝑡𝑒𝑟:
𝑇ℎ𝑒 𝑟𝑜𝑢𝑡𝑒𝑟, 𝑐𝑜𝑛𝑓𝑖𝑔𝑢𝑟𝑒𝑑 𝑤𝑖𝑡ℎ 𝑁𝐴𝑇, 𝑓𝑎𝑐𝑖𝑙𝑖𝑡𝑎𝑡𝑒𝑠 𝑐𝑜𝑚𝑚𝑢𝑛𝑖𝑐𝑎𝑡𝑖𝑜𝑛 𝑏𝑒𝑡𝑤𝑒𝑒𝑛 𝑡ℎ𝑒 𝑝𝑟𝑖𝑣𝑎𝑡𝑒 𝑛𝑒𝑡𝑤𝑜𝑟𝑘 (𝑒.𝑔., 192.168.3.0/24) 𝑎𝑛𝑑 𝑡ℎ𝑒 𝑒𝑥𝑡𝑒𝑟𝑛𝑎𝑙 𝑖𝑛𝑡𝑒𝑟𝑛𝑒𝑡. 𝐼𝑡 𝑚𝑜𝑑𝑖𝑓𝑖𝑒𝑠 𝑡ℎ𝑒 𝑠𝑜𝑢𝑟𝑐𝑒 𝐼𝑃 𝑖𝑛 𝑜𝑢𝑡𝑔𝑜𝑖𝑛𝑔 𝑝𝑎𝑐𝑘𝑒𝑡𝑠 𝑎𝑛𝑑 𝑢𝑝𝑑𝑎𝑡𝑒𝑠 𝑡ℎ𝑒𝑚 𝑤𝑖𝑡ℎ 𝑡ℎ𝑒 𝑝𝑢𝑏𝑙𝑖𝑐 𝐼𝑃 𝑎𝑠𝑠𝑖𝑔𝑛𝑒𝑑 𝑏𝑦 𝑡ℎ𝑒 𝐼𝑆𝑃.

3. 𝑃𝑟𝑒-𝑁𝐴𝑇 𝑃𝑎𝑐𝑘𝑒𝑡:
𝐵𝑒𝑓𝑜𝑟𝑒 𝑡𝑟𝑎𝑛𝑠𝑙𝑎𝑡𝑖𝑜𝑛, 𝑡ℎ𝑒 𝑝𝑎𝑐𝑘𝑒𝑡 𝑡𝑟𝑎𝑣𝑒𝑙𝑖𝑛𝑔 𝑓𝑟𝑜𝑚 𝑡ℎ𝑒 𝑝𝑟𝑖𝑣𝑎𝑡𝑒 𝑛𝑒𝑡𝑤𝑜𝑟𝑘 ℎ𝑎𝑠 𝑎 𝑠𝑜𝑢𝑟𝑐𝑒 𝐼𝑃 (192.168.3.6:5733) 𝑎𝑛𝑑 𝑎 𝑑𝑒𝑠𝑡𝑖𝑛𝑎𝑡𝑖𝑜𝑛 𝐼𝑃 (𝑒.𝑔., 65.44.21.24:21, 𝑟𝑒𝑝𝑟𝑒𝑠𝑒𝑛𝑡𝑖𝑛𝑔 𝑎𝑛 𝑒𝑥𝑡𝑒𝑟𝑛𝑎𝑙 𝑠𝑒𝑟𝑣𝑒𝑟).

4. 𝑃𝑜𝑠𝑡-𝑁𝐴𝑇 𝑃𝑎𝑐𝑘𝑒𝑡:
𝐴𝑓𝑡𝑒𝑟 𝑝𝑎𝑠𝑠𝑖𝑛𝑔 𝑡ℎ𝑟𝑜𝑢𝑔ℎ 𝑁𝐴𝑇, 𝑡ℎ𝑒 𝑠𝑜𝑢𝑟𝑐𝑒 𝐼𝑃 𝑖𝑠 𝑐ℎ𝑎𝑛𝑔𝑒𝑑 𝑡𝑜 𝑡ℎ𝑒 𝑝𝑢𝑏𝑙𝑖𝑐 𝐼𝑃 𝑎𝑠𝑠𝑖𝑔𝑛𝑒𝑑 𝑏𝑦 𝑡ℎ𝑒 𝑟𝑜𝑢𝑡𝑒𝑟 (200.100.10.1:5733), 𝑤ℎ𝑖𝑙𝑒 𝑡ℎ𝑒 𝑑𝑒𝑠𝑡𝑖𝑛𝑎𝑡𝑖𝑜𝑛 𝐼𝑃 𝑟𝑒𝑚𝑎𝑖𝑛𝑠 𝑡ℎ𝑒 𝑠𝑎𝑚𝑒, 𝑒𝑛𝑎𝑏𝑙𝑖𝑛𝑔 𝑎𝑐𝑐𝑒𝑠𝑠 𝑡𝑜 𝑒𝑥𝑡𝑒𝑟𝑛𝑎𝑙 𝑟𝑒𝑠𝑜𝑢𝑟𝑐𝑒𝑠.

5. 𝑁𝐴𝑇 𝑇𝑎𝑏𝑙𝑒 𝑀𝑎𝑛𝑎𝑔𝑒𝑚𝑒𝑛𝑡:
𝑁𝐴𝑇 𝑘𝑒𝑒𝑝𝑠 𝑎 𝑟𝑒𝑐𝑜𝑟𝑑 𝑜𝑓 𝑝𝑟𝑖𝑣𝑎𝑡𝑒-𝑡𝑜-𝑝𝑢𝑏𝑙𝑖𝑐 𝐼𝑃 𝑎𝑛𝑑 𝑝𝑜𝑟𝑡 𝑚𝑎𝑝𝑝𝑖𝑛𝑔𝑠 𝑖𝑛 𝑖𝑡𝑠 𝑁𝐴𝑇 𝑡𝑎𝑏𝑙𝑒. 𝐹𝑜𝑟 𝑒𝑥𝑎𝑚𝑝𝑙𝑒, 192.168.3.6:5733 𝑚𝑎𝑦 𝑏𝑒 𝑡𝑟𝑎𝑛𝑠𝑙𝑎𝑡𝑒𝑑 𝑡𝑜 200.100.10.1:5733, 𝑎𝑙𝑙𝑜𝑤𝑖𝑛𝑔 𝑟𝑒𝑠𝑝𝑜𝑛𝑠𝑒 𝑝𝑎𝑐𝑘𝑒𝑡𝑠 𝑡𝑜 𝑟𝑒𝑡𝑢𝑟𝑛 𝑡𝑜 𝑡ℎ𝑒 𝑎𝑝𝑝𝑟𝑜𝑝𝑟𝑖𝑎𝑡𝑒 𝑑𝑒𝑣𝑖𝑐𝑒 𝑖𝑛 𝑡ℎ𝑒 𝑖𝑛𝑡𝑒𝑟𝑛𝑎𝑙 𝑛𝑒𝑡𝑤𝑜𝑟𝑘.

6. 𝐹𝑖𝑙𝑒 𝑆𝑒𝑟𝑣𝑒𝑟 𝐶𝑜𝑚𝑚𝑢𝑛𝑖𝑐𝑎𝑡𝑖𝑜𝑛:
𝑊ℎ𝑒𝑛 𝑎𝑛 𝑖𝑛𝑡𝑒𝑟𝑛𝑎𝑙 𝑐𝑙𝑖𝑒𝑛𝑡 𝑎𝑐𝑐𝑒𝑠𝑠𝑒𝑠 𝑎𝑛 𝑒𝑥𝑡𝑒𝑟𝑛𝑎𝑙 𝑟𝑒𝑠𝑜𝑢𝑟𝑐𝑒, 𝑠𝑢𝑐ℎ 𝑎𝑠 𝑎 𝑓𝑖𝑙𝑒 𝑠𝑒𝑟𝑣𝑒𝑟 (65.44.21.24), 𝑁𝐴𝑇 𝑒𝑛𝑠𝑢𝑟𝑒𝑠 𝑠𝑒𝑎𝑚𝑙𝑒𝑠𝑠 𝑡𝑟𝑎𝑛𝑠𝑙𝑎𝑡𝑖𝑜𝑛 𝑠𝑜 𝑡ℎ𝑒 𝑝𝑟𝑖𝑣𝑎𝑡𝑒 𝐼𝑃 𝑐𝑎𝑛 𝑎𝑐𝑐𝑒𝑠𝑠 𝑟𝑒𝑠𝑜𝑢𝑟𝑐𝑒𝑠 𝑢𝑠𝑖𝑛𝑔 𝑡ℎ𝑒 𝑟𝑜𝑢𝑡𝑒𝑟'𝑠 𝑝𝑢𝑏𝑙𝑖𝑐 𝐼𝑃.

7. 𝑆𝑜𝑢𝑟𝑐𝑒 𝑎𝑛𝑑 𝐷𝑒𝑠𝑡𝑖𝑛𝑎𝑡𝑖𝑜𝑛 𝐼𝑃 𝐶ℎ𝑎𝑛𝑔𝑒𝑠:
𝑁𝐴𝑇 𝑎𝑑𝑗𝑢𝑠𝑡𝑠 𝑏𝑜𝑡ℎ 𝑠𝑜𝑢𝑟𝑐𝑒 𝑎𝑛𝑑 𝑑𝑒𝑠𝑡𝑖𝑛𝑎𝑡𝑖𝑜𝑛 𝐼𝑃𝑠 𝑑𝑒𝑝𝑒𝑛𝑑𝑖𝑛𝑔 𝑜𝑛 𝑤ℎ𝑒𝑡ℎ𝑒𝑟 𝑡ℎ𝑒 𝑐𝑜𝑚𝑚𝑢𝑛𝑖𝑐𝑎𝑡𝑖𝑜𝑛 𝑖𝑠 𝑖𝑛𝑏𝑜𝑢𝑛𝑑 𝑜𝑟 𝑜𝑢𝑡𝑏𝑜𝑢𝑛𝑑, 𝑒𝑛𝑠𝑢𝑟𝑖𝑛𝑔 𝑐𝑜𝑟𝑟𝑒𝑐𝑡 𝑝𝑎𝑐𝑘𝑒𝑡 𝑑𝑒𝑙𝑖𝑣𝑒𝑟𝑦 𝑤ℎ𝑖𝑙𝑒 𝑚𝑎𝑖𝑛𝑡𝑎𝑖𝑛𝑖𝑛𝑔 𝑠𝑒𝑐𝑢𝑟𝑖𝑡𝑦 𝑏𝑦 ℎ𝑖𝑑𝑖𝑛𝑔 𝑖𝑛𝑡𝑒𝑟𝑛𝑎𝑙 𝐼𝑃𝑠 𝑓𝑟𝑜𝑚 𝑡ℎ𝑒 𝑝𝑢𝑏𝑙𝑖𝑐 𝑖𝑛𝑡𝑒𝑟𝑛𝑒𝑡.

8. 𝑁𝐴𝑇 𝑓𝑜𝑟 𝑀𝑢𝑙𝑡𝑖𝑝𝑙𝑒 𝐷𝑒𝑣𝑖𝑐𝑒𝑠:
𝑁𝐴𝑇 𝑎𝑙𝑙𝑜𝑤𝑠 𝑚𝑢𝑙𝑡𝑖𝑝𝑙𝑒 𝑑𝑒𝑣𝑖𝑐𝑒𝑠 𝑜𝑛 𝑡ℎ𝑒 𝑝𝑟𝑖𝑣𝑎𝑡𝑒 𝑛𝑒𝑡𝑤𝑜𝑟𝑘 𝑡𝑜 𝑠ℎ𝑎𝑟𝑒 𝑡ℎ𝑒 𝑠𝑎𝑚𝑒 𝑝𝑢𝑏𝑙𝑖𝑐 𝐼𝑃 (200.100.10.1) 𝑤ℎ𝑖𝑙𝑒 𝑐𝑜𝑚𝑚𝑢𝑛𝑖𝑐𝑎𝑡𝑖𝑛𝑔 𝑤𝑖𝑡ℎ 𝑒𝑥𝑡𝑒𝑟𝑛𝑎𝑙 𝑠𝑒𝑟𝑣𝑖𝑐𝑒𝑠. 𝐸𝑎𝑐ℎ 𝑖𝑛𝑡𝑒𝑟𝑛𝑎𝑙 𝑑𝑒𝑣𝑖𝑐𝑒 𝑎𝑛𝑑 𝑝𝑜𝑟𝑡 𝑐𝑜𝑚𝑏𝑖𝑛𝑎𝑡𝑖𝑜𝑛 ℎ𝑎𝑠 𝑎 𝑢𝑛𝑖𝑞𝑢𝑒 𝑚𝑎𝑝𝑝𝑖𝑛𝑔 𝑖𝑛 𝑡ℎ𝑒 𝑁𝐴𝑇 𝑡𝑎𝑏𝑙𝑒.

Follow
@techyoutbe
for more tech content!

[Tech Fusionist | Kushal Gangil @techyoutbe]

File Permissions in Linux 🔥🔥

[Level Up Coding @LevelUpCoding_]

Binary trees

[Python Coding @clcoding]

Free Python Data Structure
https://t.co/41cgSVa64T

[Dvz | Python Architect @PythonDvz]

Life is Short, I use Python 🤣

#python #programming #developer #programmer #coding #coder #softwaredeveloper #computerscience #webdev #webdeveloper #webdevelopment #pythonprogramming #pythonquiz #ai #ml #machinelearning #datascience

[Python Coding @clcoding]

Movie Information using Python

[Dvz | Python Architect @PythonDvz]

Git In a Nutshell https://t.co/FK7WnfeGhm

#git #github #programming #developer

[Python Coding @clcoding]

Find Weather using Python

[マメパンチ @ziluolan_hua]

쓸 일이 없길 바라지만 ㅠㅠ 일본에 계신 분들 혹은 일본에 여행 오신 분들 지진등으로 인한 재난사태시 열리는 비상 와이파이입니다! 꼭 숙지해두기!

00000JAPAN