Hacker News
- Who Can Understand the Proof? A Window on Formalized Mathematics https://writings.stephenwolfram.com/2025/01/who-can-understand-the-proof-a-window-on-formalized-mathematics/ 108 comments
- Who Can Understand the Proof? A Window on Formalized Mathematics https://writings.stephenwolfram.com/2025/01/who-can-understand-the-proof-a-window-on-formalized-mathematics/ 14 comments math
Linked pages
- What Is ChatGPT Doing … and Why Does It Work?—Stephen Wolfram Writings https://writings.stephenwolfram.com/2023/02/what-is-chatgpt-doing-and-why-does-it-work/ 1074 comments
- ChatGPT Gets Its “Wolfram Superpowers”!—Stephen Wolfram Writings https://writings.stephenwolfram.com/2023/03/chatgpt-gets-its-wolfram-superpowers/ 379 comments
- Wolfram|Alpha: Computational Intelligence http://www.wolframalpha.com 163 comments
- Generative AI Space and the Mental Imagery of Alien Minds—Stephen Wolfram Writings https://writings.stephenwolfram.com/2023/07/generative-ai-space-and-the-mental-imagery-of-alien-minds/ 110 comments
- The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics—Stephen Wolfram Writings https://writings.stephenwolfram.com/2022/03/the-physicalization-of-metamathematics-and-its-implications-for-the-foundations-of-mathematics/ 98 comments
- The Wolfram Physics Project: Finding the Fundamental Theory of Physics https://www.wolframphysics.org/ 97 comments
- What’s Really Going On in Machine Learning? Some Minimal Models—Stephen Wolfram Writings https://writings.stephenwolfram.com/2024/08/whats-really-going-on-in-machine-learning-some-minimal-models/ 70 comments
- There Was a Time before Mathematica…—Stephen Wolfram Writings https://writings.stephenwolfram.com/2013/06/there-was-a-time-before-mathematica/ 56 comments
- Useful to the Point of Being Revolutionary: Introducing Wolfram Notebook Assistant—Stephen Wolfram Writings https://writings.stephenwolfram.com/2024/12/useful-to-the-point-of-being-revolutionary-introducing-wolfram-notebook-assistant/ 37 comments
- Multicomputation: A Fourth Paradigm for Theoretical Science—Stephen Wolfram Writings https://writings.stephenwolfram.com/2021/09/multicomputation-a-fourth-paradigm-for-theoretical-science/ 26 comments
- Home Page - Metamath http://us.metamath.org/index.html 25 comments
- Wolfram Mathematica: Modern Technical Computing http://www.wolfram.com/mathematica/ 22 comments
- Yet More New Ideas and New Functions: Launching Version 14.1 of Wolfram Language & Mathematica—Stephen Wolfram Writings https://writings.stephenwolfram.com/2024/07/yet-more-new-ideas-and-new-functions-launching-version-14-1-of-wolfram-language-mathematica/ 21 comments
- Stephen Wolfram: A New Kind of Science | Online—Table of Contents http://www.wolframscience.com/nks/ 15 comments
- What We’ve Built Is a Computational Language (and That’s Very Important!)—Stephen Wolfram Writings https://writings.stephenwolfram.com/2019/05/what-weve-built-is-a-computational-language-and-thats-very-important/ 12 comments
- Charting a Course for “Complexity”: Metamodeling, Ruliology and More—Stephen Wolfram Writings https://writings.stephenwolfram.com/2021/09/charting-a-course-for-complexity-metamodeling-ruliology-and-more/ 7 comments
- Can AI Solve Science?—Stephen Wolfram Writings https://writings.stephenwolfram.com/2024/03/can-ai-solve-science/ 7 comments
- Why Does Biological Evolution Work? A Minimal Model for Biological Evolution and Other Adaptive Processes—Stephen Wolfram Writings https://writings.stephenwolfram.com/2024/05/why-does-biological-evolution-work-a-minimal-model-for-biological-evolution-and-other-adaptive-processes/ 7 comments
- Wolfram Language: Programming Language + Built-In Knowledge http://wolfram.com/language 4 comments
- After 100 Years, Can We Finally Crack Post’s Problem of Tag? A Story of Computational Irreducibility, and More—Stephen Wolfram Writings https://writings.stephenwolfram.com/2021/03/after-100-years-can-we-finally-crack-posts-problem-of-tag-a-story-of-computational-irreducibility-and-more/ 3 comments
Related searches:
Search whole site: site:writings.stephenwolfram.com
Search title: Who Can Understand the Proof? A Window on Formalized Mathematics—Stephen Wolfram Writings
See how to search.